$\forall$$A$, $B$:$\mathbb{P}$. ($A$ $\Leftarrow\!\Rightarrow$ $B$) $\Leftarrow\!\Rightarrow$ ($B$ $\Leftarrow\!\Rightarrow$ $A$)